Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
921	Modal vs. Propositional Reasoning for Model Checking with Description Logic Shoham Ben-David Richard Trefler Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Kripke structure Model checking FO Model theory Logic Mathematical logic Theoretical computer science
922	AAAI[removed]Spring Symposium Series March 26-28, 2001 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:42:07 Actor model Concurrent computing Ambient intelligence Association for the Advancement of Artificial Intelligence Ontology Logic programming Model checking Artificial intelligence Science Computing
923	Bisimulation, Model Checking and Other Games Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:02:37 Bisimulation Theoretical computer science Model checking Mathematics Modal logic Temporal logic Logic Philosophical logic Logic in computer science
924	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
925	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
926	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
927	Sufficient Completeness Checking with Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki 2,3 , and Jos´e Meseguer1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:14:48 Completeness Symbol Logic Knowledge Statistical theory Metalogic Model theory
928	PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool Musab AlTurki and Jos´e Meseguer Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2011-05-18 16:24:10 Probabilistic complexity theory Model checking Monte Carlo method Markov chain Stochastic Randomized algorithm Probabilistic CTL Probability and statistics Theoretical computer science Statistics
929	Electronic Communications of the EASST No \volume defined! No \volumetitle defined! Verification of Railway Interlockings in Scade Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 14:18:24 Science Formal methods Technology Formal sciences Esterel Technologies Railway signalling Lustre Interlocking Model checking Hardware description languages Synchronous programming languages Electronic engineering
930	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic

UPDATE